派生型 (derived type) - mrsekut-p

派生型 (derived type)

ある基本型に対して、派生した型のこと

基底型 (base type)の逆の言い方

「派生」の定義はプログラミング言語によって異なる

公称的部分型

構造的部分型

関連

リスコフの置換原則 (LSP)

参考

TaPLの15章を読もうねmrsekut.icon*2

19.3とかも

https://soutaro.hatenablog.com/entry/20060912/1158074146

https://ja.wikipedia.org/wiki/派生型

https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/sf04w/resume8.pdf

https://lethevert.hatenadiary.org/entry/20060902/p2

https://methane.hatenablog.jp/entry/ruby-python-go-typing

https://medium.com/@thejameskyle/type-systems-structural-vs-nominal-typing-explained-56511dd969f4

https://twitter.com/kmizu/status/1056501231126929408

#型システム